Temel Konular
İleri Konular
1/7

Matrisler ve Lineer Cebir

Matrisler, lineer dönüşümleri temsil etmek için kullanılan dikdörtgensel sayı dizileridir. Lineer cebir, vektör uzayları ve lineer dönüşümler üzerine kuruludur.

Matris Tanımı ve Özellikleri

Matris: m×n boyutunda bir matris, m satır ve n sütundan oluşan dikdörtgensel bir sayı dizisidir:

A = \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{bmatrix}

Matris İşlemleri

Toplama
(A + B)_{ij} = A_{ij} + B_{ij}

Aynı boyuttaki matrisler için tanımlıdır.

Çarpma
(AB)_{ij} = ∑_{k=1}^n A_{ik}B_{kj}

A: m×n, B: n×p olmalıdır.

Transpoz
(A^T)_{ij} = A_{ji}

Satır ve sütunlar yer değiştirir.

Determinant

n×n matris için skaler değer.

det(A) = ∑_{σ∈S_n} sign(σ)∏_{i=1}^n a_{i,σ(i)}
Determinantın Çokdoğrusallık Özelliği İspatı:

Determinant fonksiyonu det: M_n(ℝ) → ℝ şu özelliklere sahiptir:

  1. Çokdoğrusallık: Herhangi bir satır vektörü a_i = λb + μc ise:
    det(a_1, ..., a_i, ..., a_n) = λ det(a_1, ..., b, ..., a_n) + μ det(a_1, ..., c, ..., a_n)
  2. Alternatiflik: İki satır aynı ise determinant 0'dır.
  3. Normalleştirme: Birim matrisin determinantı 1'dir.

İspat: Determinantın Leibniz formülünden:

det(A) = ∑_{σ∈S_n} sign(σ)∏_{i=1}^n a_{i,σ(i)}

Çarpmanın toplama üzerine dağılma özelliği ile çokdoğrusallık kanıtlanır. Alternatiflik, permütasyonların sign fonksiyonu özelliğinden gelir.

Eigenvalue ve Eigenvector

Özdeğer ve Özvektör: Bir n×n matris A için, λ ∈ ℂ özdeğeri ve v ≠ 0 özvektörü şu denklemi sağlar:

Av = λv

Bu denklem (A - λI)v = 0 şeklinde yazılabilir. Trivial olmayan çözüm için:

det(A - λI) = 0

Spectral Theorem İspatı

Teorem: Hermitian (veya reel simetrik) bir matrisin özdeğerleri reeldir ve özvektörleri ortogonaldir.

İspat: A Hermitian olsun (A = A^*). λ özdeğer, v karşılık gelen özvektör olsun.

Av = λv
İç çarpım alalım: ⟨Av, v⟩ = ⟨λv, v⟩ = λ⟨v, v⟩
Diğer taraftan: ⟨Av, v⟩ = ⟨v, A^*v⟩ = ⟨v, Av⟩ = ⟨v, λv⟩ = \bar{λ}⟨v, v⟩
Yani: λ⟨v, v⟩ = \bar{λ}⟨v, v⟩
⟨v, v⟩ ≠ 0 olduğundan: λ = \bar{λ} ⇒ λ ∈ ℝ

Özvektörlerin ortogonalliği benzer şekilde gösterilir. ∎

Örnek: Eigenvalue Hesaplama

A = \begin{bmatrix} 3 & 1 \\ 1 & 3 \end{bmatrix} matrisinin özdeğerlerini ve özvektörlerini bulunuz.

Karakteristik denklem: det(A - λI) = 0
det\begin{bmatrix} 3-λ & 1 \\ 1 & 3-λ \end{bmatrix} = (3-λ)^2 - 1 = 0
λ^2 - 6λ + 8 = 0 ⇒ λ_1 = 2, λ_2 = 4
λ_1 = 2 için: (A - 2I)v = 0 ⇒ \begin{bmatrix} 1 & 1 \\ 1 & 1 \end{bmatrix}\begin{bmatrix} x \\ y \end{bmatrix} = 0 ⇒ v_1 = \begin{bmatrix} 1 \\ -1 \end{bmatrix}
λ_2 = 4 için: (A - 4I)v = 0 ⇒ \begin{bmatrix} -1 & 1 \\ 1 & -1 \end{bmatrix}\begin{bmatrix} x \\ y \end{bmatrix} = 0 ⇒ v_2 = \begin{bmatrix} 1 \\ 1 \end{bmatrix}
2/7

Topolojik Uzaylar

Topoloji, geometrik nesnelerin süreklilik ve yakınlık kavramlarını soyutlayarak inceler. Topolojik uzaylar, açık kümeler aksiyomu ile tanımlanır.

Topolojik Uzay Tanımı

Topolojik Uzay: Bir X kümesi ve τ ⊆ P(X) (X'in kuvvet kümesinin bir altkümesi) ile verilen bir (X, τ) çiftine topolojik uzay denir, eğer:

  1. ∅ ∈ τ ve X ∈ τ
  2. τ'nun herhangi bir altailesinin birleşimi τ'dadır
  3. τ'nun sonlu altailesinin kesişimi τ'dadır

τ'daki kümeler açık kümeler olarak adlandırılır.

Topoloji Türleri

Metrik Topoloji

Bir metrikten türetilen topoloji. B(x, ε) = {y | d(x,y) < ε} açık yuvaları ile.

Grotesk (Ayrık) Topoloji

τ = P(X). Tüm kümeler açıktır.

Sıradan (İndiskret) Topoloji

τ = {∅, X}. Sadece boş küme ve tüm uzay açıktır.

Sınırlı Tamamlayıcı

Açık kümeler, sonlu tümleyenler ve boş kümedir.

Hausdorff Özelliği: Bir topolojik uzay (X, τ) Hausdorff'tur (veya T₂) eğer her farklı x, y ∈ X için, U, V ∈ τ bulunabilir öyle ki x ∈ U, y ∈ V ve U ∩ V = ∅.
Komşuluk Sistemi Aksiyomlarının Topolojiyi Belirlemesi:

Teorem: Her x ∈ X için bir komşuluk sistemi N(x) verilsin. Bu sistem:

  1. Her N ∈ N(x) için x ∈ N
  2. N ∈ N(x) ve N ⊆ M ⇒ M ∈ N(x)
  3. N, M ∈ N(x) ⇒ N ∩ M ∈ N(x)
  4. Her N ∈ N(x) için bir M ∈ N(x) vardır öyle ki M ⊆ N ve her y ∈ M için M ∈ N(y)

koşullarını sağlıyorsa, tek bir topoloji vardır ki bu topolojide N(x), x'in komşuluk sistemidir.

İspat: Açık kümeleri U açıktır ancak ve ancak her x ∈ U için U ∈ N(x) olarak tanımlayalım. Aksiyomların bu tanımın topoloji aksiyomlarını sağladığını gösterelim.

Homeomorfizm ve Topolojik Eşyapı

Homeomorfizm: İki topolojik uzay (X, τ_X) ve (Y, τ_Y) arasında bir f: X → Y fonksiyonu homeomorfizmdir eğer:

  1. f birebir ve örtendir
  2. f süreklidir
  3. f^{-1} süreklidir

Bu durumda X ve Y homeomorfiktir, yani topolojik olarak aynıdır.

Topolojik
Eşyapı
≅

X ⟷ Y
τ_X ⟷ τ_Y

Sürekli +
Tersinir

Topolojik İnvaryantlar

Homeomorfizm altında korunan özelliklere topolojik invaryantlar denir:

  • Bağlantılılık (connectedness)
  • Yol bağlantılılığı (path-connectedness)
  • Kompaktlık (compactness)
  • Homotopi grupları
  • Homoloji grupları
  • Euler karakteristiği

Örneğin, bir top ve bir küp homeomorftur (şekil değiştirebilir), ancak bir torus (simit) ile bir küp homeomorf değildir.

Örnek: Metrik Uzaydan Topoloji İnşası

(X, d) bir metrik uzay olsun. B(x, ε) = {y ∈ X | d(x,y) < ε} açık yuvalarını baz alarak bir topoloji tanımlayınız.

Tüm açık yuvaların koleksiyonunu ℬ = {B(x, ε) | x ∈ X, ε > 0} olarak tanımla
Bu koleksiyonun bir baz olduğunu göster: Her B_1, B_2 ∈ ℬ ve x ∈ B_1 ∩ B_2 için, bir B_3 ∈ ℬ vardır öyle ki x ∈ B_3 ⊆ B_1 ∩ B_2
B_1 = B(x_1, ε_1), B_2 = B(x_2, ε_2) ve x ∈ B_1 ∩ B_2 olsun
δ_1 = ε_1 - d(x_1, x) > 0, δ_2 = ε_2 - d(x_2, x) > 0
δ = min(δ_1, δ_2) seçelim
O zaman B(x, δ) ⊆ B_1 ∩ B_2
Bu bazdan üretilen topoloji, metrik topolojidir
3/7

Işın Geometrisi

Işın (ray) geometrisi, başlangıç noktası olan yarı-doğruların geometrisidir. Bilgisayar grafiği, optik ve fizikte önemli uygulamaları vardır.

Işın Tanımı ve Özellikleri

Işın (Ray): Bir P_0 başlangıç noktası ve bir \vec{d} yön vektörü ile parametrik olarak tanımlanır:

R(t) = P_0 + t\vec{d}, \quad t ≥ 0

Burada t parametresi, başlangıç noktasından uzaklığı temsil eder.

Işın Parametrizasyonları

Parametrik Form
R(t) = (x_0 + td_x, y_0 + td_y, z_0 + td_z)

t ≥ 0

Normalize Edilmiş
R(t) = P_0 + t\hat{d}, \quad \|\hat{d}\| = 1

t direkt uzaklığı verir

İki Nokta ile
R(t) = P_0 + t(P_1 - P_0)

P_1 ışın üzerinde bir nokta

Işın-Düzlem Kesişimi: Bir ışın R(t) = P_0 + t\vec{d} ve bir düzlem \vec{n}·(P - P_p) = 0 verilsin. Kesişim noktası için:
t = \frac{\vec{n}·(P_p - P_0)}{\vec{n}·\vec{d}}

Eğer \vec{n}·\vec{d} = 0 ise ışın düzleme paraleldir. Eğer t < 0 ise kesişim ışının ters yönündedir.

Işın-Küre Kesişimi İspatı:

Küre denklemi: \|P - C\|^2 = r^2

Işın denklemi: P(t) = P_0 + t\vec{d}

Yerine koyalım:

\|P_0 + t\vec{d} - C\|^2 = r^2

Genişletelim:

\|\vec{d}\|^2 t^2 + 2\vec{d}·(P_0 - C)t + \|P_0 - C\|^2 - r^2 = 0

Bu ikinci dereceden denklem:

at^2 + bt + c = 0

Burada:

a = \|\vec{d}\|^2, \quad b = 2\vec{d}·(P_0 - C), \quad c = \|P_0 - C\|^2 - r^2

Diskriminant: Δ = b^2 - 4ac

  • Δ < 0: Kesişme yok
  • Δ = 0: Teğet (bir noktada kesişme)
  • Δ > 0: İki noktada kesişme

Çözümler: t = \frac{-b ± \sqrt{Δ}}{2a}

Ray Tracing ve Optik

Snell Yasası: Işığın farklı ortamlarda kırılmasını açıklar:

n_1 \sin θ_1 = n_2 \sin θ_2

Burada n_1, n_2 kırılma indisleri, θ_1, θ_2 gelme ve kırılma açılarıdır.

Fermat Prensibi İspatı

Fermat Prensibi: Işık, iki nokta arasında en kısa sürede gideceği yolu izler.

İspat (Calculus of Variations): Işığın A'dan B'ye gidiş süresi:

T = ∫_{A}^{B} \frac{ds}{v} = \frac{1}{c}∫_{A}^{B} n(x,y,z) ds

Burada n(x,y,z) kırılma indisidir, c vakumdaki ışık hızıdır.

y = y(x) yolunu parametrize edelim:

T[y] = \frac{1}{c}∫_{x_A}^{x_B} n(x,y(x)) \sqrt{1 + (y'(x))^2} dx

Euler-Lagrange denklemini uygulayalım:

\frac{d}{dx} \left( \frac{∂L}{∂y'} \right) - \frac{∂L}{∂y} = 0

Burada L = n(x,y)\sqrt{1 + (y')^2}. Hesaplamalar Snell yasasını verir. ∎

Örnek: Işın Yansıması

Bir ışın P_0 = (0,0,0)'dan \vec{d} = (1,1,-1) yönünde geliyor. z = 0 düzlemindeki bir aynadan yansıdıktan sonraki yönünü bulunuz.

Düzlem denklemi: z = 0, normal vektör: \vec{n} = (0,0,1)
Kesişim noktası: t = \frac{\vec{n}·(P_p - P_0)}{\vec{n}·\vec{d}} = \frac{(0,0,1)·(0,0,0) - (0,0,0)·(0,0,0)}{(0,0,1)·(1,1,-1)} = 0
Kesişim: P = (0,0,0) + 0·(1,1,-1) = (0,0,0)
Yansıma formülü: \vec{r} = \vec{d} - 2(\vec{d}·\hat{n})\hat{n}
\hat{n} = (0,0,1), \vec{d}·\hat{n} = -1
\vec{r} = (1,1,-1) - 2(-1)(0,0,1) = (1,1,-1) + (0,0,2) = (1,1,1)
Yansıyan ışın: R(t) = (0,0,0) + t(1,1,1), t ≥ 0
4/7

Projektif Geometri

Projektif geometri, paralel doğruların sonsuzda kesiştiği bir geometri sistemidir. Perspektif çizim, bilgisayar görüşü ve cebirsel geometride önemlidir.

Projektif Düzlem

Projektif Düzlem ℝP²: ℝ³\{0} üzerindeki denklik sınıfları:

ℝP² = (ℝ^3 \setminus \{0\}) / ∼

Burada (x,y,z) ∼ (λx, λy, λz) her λ ≠ 0 için. Homojen koordinatlarla [x:y:z] gösterilir.

Dualite Prensibi: Projektif düzlemde, her teoremde "nokta" ve "doğru" kelimelerini birbiriyle değiştirerek yeni bir teorem elde edilir.
Desargues Teoremi İspatı:

Teorem: İki üçgen perspektiftir (merkezden bakıldığında aynı görünür) ancak ve ancak karşılıklı kenarlarının kesişim noktaları doğrusaldır.

İspat (Koordinatla): ABC ve A'B'C' üçgenleri O perspektif merkezinden perspektif olsun. Homojen koordinatlarda:

A = O + a, \quad A' = O + αa
B = O + b, \quad B' = O + βb
C = O + c, \quad C' = O + γc

AB ve A'B' doğrularının kesişimi P = (αβ - 1)O + (β - α)ab formunda olup, benzer şekilde diğer kesişim noktaları da bu formdadır. Üç noktanın doğrusallığı determinantla gösterilir. ∎

Homojen Koordinatlar

Homojen Koordinatlar: ℝP²'de bir nokta [x:y:z] ile temsil edilir, burada (x,y,z) ≠ (0,0,0) ve her λ ≠ 0 için [x:y:z] = [λx:λy:λz].

Sonsuzdaki noktalar: z = 0 olan noktalar.

Projektif
Düzlem:

ℝP² ≅
S² / ±1

[x:y:z]
∼
[λx:λy:λz]

Projektif Dönüşümler

Projektif dönüşümler (homografiler), homojen koordinatlarda lineer dönüşümlerdir:

\begin{bmatrix} x' \\ y' \\ z' \end{bmatrix} = \begin{bmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{bmatrix} \begin{bmatrix} x \\ y \\ z \end{bmatrix}

Özellikleri:

  • Doğruları doğrulara götürür
  • Kesişimi korur
  • Çapraz oranı korur (projektif invaryant)
  • 8 serbestlik derecesi (3×3 matris, determinant ≠ 0, skalere kadar)
Örnek: Çapraz Oran

Bir doğru üzerindeki dört noktanın A, B, C, D çapraz oranı:

(A,B;C,D) = \frac{AC/BC}{AD/BD}

Bu oran projektif dönüşümler altında değişmez.

A=0, B=1, C=2, D=∞ (affine koordinatlarda) için çapraz oranı hesaplayınız.

Projektif koordinatlarda: A=[0:1], B=[1:1], C=[2:1], D=[1:0]
Çapraz oran: (A,B;C,D) = \frac{(0-2)/(1-2)}{(0-1)/(1-1)}, ancak bu formül doğrudan uygulanamaz
Doğru formül: (A,B;C,D) = \frac{(c-a)(d-b)}{(c-b)(d-a)}
Sonsuz için limit alınır: D=∞ ⇒ (A,B;C,∞) = \frac{AC}{BC}
AC = 2, BC = 1
Çapraz oran = 2
5/7

Affine Dönüşümler

Affine dönüşümler, doğruları ve paralellik ilişkisini koruyan geometrik dönüşümlerdir. Bilgisayar grafiği, görüntü işleme ve mekanikte yaygın kullanılır.

Affine Dönüşüm Tanımı

Affine Dönüşüm: Bir T: ℝ^n → ℝ^n dönüşümü affinedir eğer:

T(x) = Ax + b

Burada A ∈ M_n(ℝ) tersinir bir lineer dönüşüm, b ∈ ℝ^n bir öteleme vektörüdür.

Affine Dönüşümlerin Temel Özellikleri:
  1. Doğruları doğrulara götürür: T((1-t)P + tQ) = (1-t)T(P) + tT(Q)
  2. Paralel doğruları paralel doğrulara götürür
  3. Orta noktayı orta noktaya götürür
  4. Doğru parçalarını doğru parçalarına götürür
  5. Üçgenleri üçgenlere götürür
Barycentric Koordinatların Affine İnvaryantlığı:

Teorem: Bir n-simpleksin köşeleri P_0, P_1, ..., P_n olsun. Her P ∈ ℝ^n için barycentric koordinatlar (λ_0, λ_1, ..., λ_n) vardır öyle ki:

P = ∑_{i=0}^n λ_i P_i, \quad ∑_{i=0}^n λ_i = 1

Bir affine dönüşüm T(P) = AP + b altında, P'nin barycentric koordinatları değişmez.

İspat:

T(P) = A(∑ λ_i P_i) + b = ∑ λ_i (AP_i) + (∑ λ_i)b = ∑ λ_i (AP_i + b) = ∑ λ_i T(P_i)

Çünkü ∑ λ_i = 1. ∎

Affine Dönüşüm Matris Formu

Homojen Koordinatlarda Affine Dönüşüm

2D affine dönüşümü homojen koordinatlarda 3×3 matrisle temsil edilir:

\begin{bmatrix} x' \\ y' \\ 1 \end{bmatrix} = \begin{bmatrix} a_{11} & a_{12} & t_x \\ a_{21} & a_{22} & t_y \\ 0 & 0 & 1 \end{bmatrix} \begin{bmatrix} x \\ y \\ 1 \end{bmatrix}

Burada:

  • \begin{bmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{bmatrix}: Lineer dönüşüm (döndürme, ölçekleme, yamultma)
  • \begin{bmatrix} t_x \\ t_y \end{bmatrix}: Öteleme
  • Son satır: [0, 0, 1] (affine dönüşüm olduğunu garanti eder)

Affine Dönüşümün Klasifikasyonu

Teorem (2D Affine Dönüşüm Sınıflandırması): Bir 2D affine dönüşüm, öteleme, döndürme, yansıma, ölçekleme ve yamultmanın bileşkesidir.

İspat (Singüler Değer Ayrışımı): Lineer kısım A için SVD:

A = UΣV^T

Burada:

  • U, V: Ortogonal matrisler (döndürme/yansıma)
  • Σ: Köşegen matris (ölçekleme)

Yani her A:

  1. V^T: İlk döndürme/yansıma
  2. Σ: Koordinat eksenleri boyunca ölçekleme
  3. U: Son döndürme/yansıma

Öteleme (b) en son eklenir. ∎

Örnek: Affine Dönüşüm Bileşenleri

2D affine dönüşümü T(x,y) = (2x + y + 1, x - y + 3)'ü döndürme, ölçekleme, yamultma ve öteleme bileşenlerine ayırınız.

Matris formu: A = \begin{bmatrix} 2 & 1 \\ 1 & -1 \end{bmatrix}, b = \begin{bmatrix} 1 \\ 3 \end{bmatrix}
SVD uygula: A = UΣV^T
Özdeğerler: det(A - λI) = (2-λ)(-1-λ) - 1 = λ^2 - λ - 3 = 0
λ_{1,2} = \frac{1 ± \sqrt{13}}{2}
Singüler değerler: σ_i = \sqrt{λ_i}
Döndürme matrisleri U, V özvektörlerden bulunur
Sonuç: T = (Döndürme₂)∘(Ölçekleme)∘(Döndürme₁)∘(Öteleme)
6/7

Diferansiyel Geometri

Diferansiyel geometri, diferansiyel hesap yöntemleriyle eğri ve yüzeyleri inceler. Eğrilik, torsiyon, metrik tensör gibi kavramlar bu alanın temelini oluşturur.

Eğriler Teorisi

Parametrik Eğri: Bir α: I → ℝ^3 düzgün (C^∞) fonksiyonu, α'(t) ≠ 0 ise bir eğri tanımlar.

Yay Uzunluğu:

s(t) = ∫_{t_0}^t \|α'(u)\| du
Frenet-Serret Formülleri: Bir düzgün eğri α(s) (yay uzunluğu parametrizasyonu) için Frenet çatısı {T, N, B} şu denklemleri sağlar:
\begin{aligned} T'(s) &= κ(s)N(s) \\ N'(s) &= -κ(s)T(s) + τ(s)B(s) \\ B'(s) &= -τ(s)N(s) \end{aligned}

Burada κ eğrilik, τ torsiyondur.

Frenet-Serret Formülleri İspatı:

T(s) = α'(s) birim teğet vektör (\|T\| = 1).

T·T = 1 ⇒ T'·T = 0, yani T' T'ye diktir.

Eğrilik: κ(s) = \|T'(s)\|

Asli normal: N(s) = \frac{T'(s)}{\|T'(s)\|} = \frac{T'(s)}{κ(s)} (κ ≠ 0)

Binormal: B(s) = T(s) × N(s)

B' = T' × N + T × N' = κN × N + T × N' = T × N'

B·T = 0 ⇒ B'·T + B·T' = B'·T + B·(κN) = B'·T = 0, yani B' T'ye dik.

B·B = 1 ⇒ B'·B = 0, yani B' B'ye de dik.

O halde B' N yönündedir: B' = -τN (τ: torsiyon).

N = B × T olduğundan:

N' = B' × T + B × T' = (-τN) × T + B × (κN) = τB - κT

Frenet-Serret formülleri elde edilir. ∎

Yüzeyler Teorisi

Düzgün Yüzey: Bir S ⊂ ℝ^3 kümesi düzgün yüzeydir eğer her p ∈ S için, bir komşuluğu V ⊂ ℝ^3 ve bir düzgün harita X: U → V ∩ S (U ⊂ ℝ^2 açık) vardır öyle ki:

  1. X düzgün (C^∞)
  2. X homeomorfizmdir
  3. dX_q: ℝ^2 → ℝ^3 injektiftir (rank 2) her q ∈ U için

Theorema Egregium (Gauss'un Muhteşem Teoremi)

Teorem (Gauss): Gauss eğriliği K bir yüzeyin içsel (intrinsic) özelliğidir, yani sadece birinci temel formdan (metrik tensörden) hesaplanabilir ve izometriler altında korunur.

İspat (Ana Fikir): Gauss eğriliğini Christoffel sembolleri ve birinci temel formun katsayıları cinsinden ifade edelim.

Yüzeyin birinci temel formu: I = Edu^2 + 2Fdudv + Gdv^2

Christoffel sembolleri:

Γ_{ij}^k = \frac{1}{2}g^{kℓ}\left(\frac{∂g_{jℓ}}{∂u^i} + \frac{∂g_{iℓ}}{∂u^j} - \frac{∂g_{ij}}{∂u^ℓ}\right)

Gauss eğriliği:

K = \frac{1}{(EG-F^2)^2} \begin{vmatrix} -\frac{1}{2}E_{vv} + F_{uv} - \frac{1}{2}G_{uu} & \frac{1}{2}E_u & F_u - \frac{1}{2}E_v \\ F_v - \frac{1}{2}G_u & E & F \\ \frac{1}{2}G_v & F & G \end{vmatrix} - \frac{1}{(EG-F^2)^2} \begin{vmatrix} 0 & \frac{1}{2}E_v & \frac{1}{2}G_u \\ \frac{1}{2}E_v & E & F \\ \frac{1}{2}G_u & F & G \end{vmatrix}

Bu ifade sadece E, F, G ve onların türevlerine bağlıdır, yani içseldir. ∎

Örnek: Kürenin Gauss Eğriliği

Yarıçapı R olan kürenin Gauss eğriliğini hesaplayınız.

Parametrizasyon: X(θ,φ) = (R\sinθ\cosφ, R\sinθ\sinφ, R\cosθ)
Birinci temel form katsayıları:
E = \|X_θ\|^2 = R^2
F = X_θ·X_φ = 0
G = \|X_φ\|^2 = R^2\sin^2θ
İkinci temel form katsayıları:
L = X_{θθ}·N = -R (normale göre)
M = X_{θφ}·N = 0
N = X_{φφ}·N = -R\sin^2θ
Gauss eğriliği: K = \frac{LN - M^2}{EG - F^2} = \frac{R^2\sin^2θ}{R^4\sin^2θ} = \frac{1}{R^2}
Kürenin Gauss eğriliği sabittir: K = \frac{1}{R^2}
7/7

Cebirsel Geometri

Cebirsel geometri, polinom denklem sistemlerinin çözüm kümelerini (cebirsel çeşitler) inceleyen matematik dalıdır. Analitik geometrinin modern soyutlamasıdır.

Cebirsel Çeşitler

Affine Cebirsel Çeşit: Bir k cismi üzerinde (genellikle k = ℂ), k[x_1, ..., x_n] polinom halkasının bir S altkümesinin sıfır kümesi:

V(S) = \{(a_1, ..., a_n) ∈ k^n | f(a_1, ..., a_n) = 0 \ \forall f ∈ S\}

Projektif Cebirsel Çeşit: Homojen polinomların sıfır kümesi.

Hilbert's Nullstellensatz (Sıfır Yerleri Teoremi): k cebirsel kapalı bir cisim olsun. O zaman:

  1. Zayıf form: I ⊂ k[x_1, ..., x_n] öz ideal ise V(I) ≠ ∅
  2. Güçlü form: I(V(J)) = \sqrt{J} = \{f ∈ k[x_1, ..., x_n] | f^m ∈ J \text{ bir } m ≥ 1 \text{ için}\}

Bu, cebirsel çeşitler ve radikal idealler arasında birebir eşleme kurar.

Hilbert's Nullstellensatz İspatı (Ana Fikir)

Zayıf form için: I ⊂ k[x_1, ..., x_n] maksimal ideal olsun. Göstermeliyiz ki k[x_1, ..., x_n]/I ≅ k.

L = k[x_1, ..., x_n]/I bir cisim olsun. k ⊂ L bir cisim genişlemesidir.

L'nin k üzerinde sonlu tipte (finitely generated) bir cisim genişlemesi olduğunu gösteririz.

Zariski'nin Lemma'sı: k cebirsel kapalı ise, k üzerinde sonlu tipte bir cisim genişlemesi k'ya eşittir.

O halde L ≅ k. Bu bize x_i + I = a_i ∈ k verir, yani (a_1, ..., a_n) ∈ V(I).

Güçlü form için: f ∈ I(V(J)) olsun. "Rabinowitch trick":

J ⊂ k[x_1, ..., x_n, y] ideali ve g = 1 - yf(x_1, ..., x_n) elemanını düşünelim.

V(J + (g)) = ∅ olduğundan, zayıf forma göre 1 ∈ J + (g).

O halde 1 = h + p(1 - yf) bazı h ∈ J, p ∈ k[x_1, ..., x_n, y] için.

y = 1/f koyarak (formel olarak) f^m ∈ J elde edilir. ∎

Düzenli Fonksiyonlar ve Yerel Halkalar

Düzenli Fonksiyon: Bir V ⊂ k^n cebirsel çeşidi üzerinde, V'nin Zariski açık altkümelerinde tanımlı, polinomların oranı olarak yazılabilen fonksiyonlardır.

Koordinat Halkası: k[V] = k[x_1, ..., x_n]/I(V)

Yerel Halka: Bir p ∈ V noktasındaki düzenli fonksiyonların halkası:

O_{V,p} = \left\{ \frac{f}{g} \ | \ f,g ∈ k[V], g(p) ≠ 0 \right\}
Cebir ↔ Geometri

Idealler ↔
Cebirsel
Çeşitler

Radikal ↔
V(I(V(J))) = V(J)

Hilbert
Nullstellensatz

Cebirsel Geometri Sözlüğü

  • Çeşit (Variety): Cebirsel denklemlerin çözüm kümesi
  • Düzgünlük (Smoothness): Jacobian matrisin rankı
  • Boyut (Dimension): Transandans derecesi veya Krull boyutu
  • Kesirli İdeal (Sheaf): Yerel yapıların globalleştirilmesi
  • Morifizm (Morphism): Polinomlarla verilen harita
  • Rasyonel Fonksiyon: Polinomların oranı

Cebirsel geometri, soyut cebir ve geometri arasında köprü kurar. Modern matematikte merkezi bir role sahiptir.

Örnek: Eliptik Eğri

Bir eliptik eğri Weierstrass formunda: y^2 = x^3 + ax + b, Δ = -16(4a^3 + 27b^2) ≠ 0 (düzgünlük koşulu).

Bu eğrinin cebirsel özelliklerini inceleyelim:

Koordinat halkası: k[E] = k[x,y]/(y^2 - x^3 - ax - b)
Bu bir integral bölgedir (polinom indirgenemez)
Kesirli cismi: k(E) = \text{Frac}(k[E]) = k(x)[y]/(y^2 - x^3 - ax - b)
Bu bir fonksiyon cismidir, transandans derecesi 1 (eğri)
Projektif kapanışı: Y^2Z = X^3 + aXZ^2 + bZ^3 in ℂP^2
Sonsuzdaki nokta: [0:1:0] (dikey teğetlerin kesişimi)
Eliptik eğriler bir grup yapısına sahiptir (nokta toplaması)
Cinsi (genus): g = 1 (eliptik eğriler cinsi 1 olan eğrilerdir)
Analitik Geometri - İleri Seviye Konular ve Matematiksel İspatlar © 2023
Descartes, Hilbert, Gauss, Riemann ve Modern Matematikçiler